Characterization, definability and separation via saturated models
نویسندگان
چکیده
Three important results about the expressivity of a modal logic L are the Characterization Theorem (that identifies a modal logic L as a fragment of a better known logic), the Definability theorem (that provides conditions under which a class of L-models can be defined by a formula or a set of formulas of L), and the Separation Theorem (that provides conditions under which two disjoint classes of L-models can be separated by a class definable in L). We provide general conditions under which these results can be established for a given choice of model class and modal language whose expressivity is below first order logic. Besides some basic constraints that most modal logics easily satisfy, the fundamental condition that we require is that the class of ω-saturated models in question has the Hennessy-Milner property with respect to the notion of observational equivalence under consideration. Given that the Characterization, Definability and Separation theorems are among the cornerstones in the model theory of L, this property can be seen as a test that identifies the adequate notion of observational equivalence for a particular modal logic.
منابع مشابه
On Characterization, Definability and ω-Saturated Models
Two important classic results about modal expressivity are the Characterization and Definability theorems. We develop a general theory for modal logics below first order (in terms of expressivity) which exposes the following result: Characterization and Definability theorems hold for every (reasonable) modal logic whose ω-saturated models have the Hennessy-Milner property. The results are prese...
متن کاملPreparation and characterization of polyethylene/ glass fiber composite membrane prepared via thermally induced phase separation method
Grinded glass fiber (GGF) embedded high density polyethylene (HDPE) membranes were prepared via thermally induced phase separation method. FESEM images showed that all the membranes had leafy structure, indicating a solid-liquid mechanism during phase separation. The results of EDX and TGA analyses confirmed that the fibers were dispersed in the HDPE matrix uniformly. Normalized water flux of t...
متن کاملA generalization of modal definability
Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models is usually called modally definable if there is a set of modal formulas such that a class consists exactly of models on which every formula of that set is globally true, i. e. universally quantified standard translations of these formulas to the corresponding first order la...
متن کاملSynthesis and characterization of novel nanocomposite Chitosan membranes for Ethanol dehydration
Polyacrylonitril (PAN)-supported chitosan (CS) nanocomposite membranes were prepared by cross-linking the CS with 3-aminopropyl-triethoxysilane (APTEOS) via sol-gel method. Pervaporative performances of the CS-SiO2/PAN membrane for dehydration of aqueous alcohol solutions were investigated. From SEM cross-sectional images of the membrane, the spongy pores and the finger-like pores we...
متن کاملSynthesis and characterization of novel nanocomposite Chitosan membranes for Ethanol dehydration
Polyacrylonitril (PAN)-supported chitosan (CS) nanocomposite membranes were prepared by cross-linking the CS with 3-aminopropyl-triethoxysilane (APTEOS) via sol-gel method. Pervaporative performances of the CS-SiO2/PAN membrane for dehydration of aqueous alcohol solutions were investigated. From SEM cross-sectional images of the membrane, the spongy pores and the finger-like pores we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 537 شماره
صفحات -
تاریخ انتشار 2014